181. Euro-Par 2018 :
پدیدآورنده : edited by Gabriele Mencagli, Dora B. Heras et al. (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parallel processing (Electronic computers), Congresses.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I58
2018eb
182. Evolutionary computation in combinatorial optimization :
پدیدآورنده : Arnaud Liefooghe, Manuel López-Ibáñez (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Combinatorial optimization-- Data processing, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Combinatorial optimization-- Data processing.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Evolutionary computation.,Evolutionary programming (Computer science),Mathematical theory of computation.
رده :
QA76
.
618
183. Evolvable hardware /
پدیدآورنده : Tetsuya Higuchi, Yong Liu, Xin Yao (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Digital integrated circuits-- Design and construction.,Evolutionary computation.,Evolutionary programming (Computer science),Logic circuits-- Design and construction.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,Digital integrated circuits-- Design and construction.,Digital integrated circuits-- Design and construction.,Evolutionary computation.,Evolutionary computation.,Evolutionary programming (Computer science),Evolutionary programming (Computer science),Informatique.,Logic circuits-- Design and construction.,Logic circuits-- Design and construction.
رده :
QA76
.
618
.
E96
2006eb
184. Evolving knowledge bases :
پدیدآورنده : João Alexandre Leite.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science),Logic programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Expert systems (Computer science),Logic programming.
رده :
QA76
.
63
.
L48
2003eb
185. Expert SQL server 2005 development /
پدیدآورنده : Adam Machanic with Hugo Kornelis and Lara Rubbelke.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : SQL server.,SQL server.,SQL server.,SQL server.,Client/server computing.,Client/server computing.,Client/server computing.,COMPUTERS-- Data Processing.,Informatique.
رده :
QA76
.
9
.
D3
M334
2007eb
186. Exploring BeagleBone :
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linux.,BeagleBone (Computer),Operating systems (Computers)
رده :
QA76
.
76
.
O63
.
M655
2019
187. Exploring the early digital /
پدیدآورنده : Thomas Haigh, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
188. Extreme programming with Ant :
پدیدآورنده : Glenn Niemeyer, Jeremy Poteet.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ant (Computer file),Ant (Computer file),Computer software-- Development.,eXtreme programming.,Java (Computer program language),Computer software-- Development.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,eXtreme programming.,Java (Computer program language)
رده :
QA76
.
76
.
D47
N54
2003eb
189. Faster, smarter.dollar5Beginning programming /
پدیدآورنده : Jim Buyens.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Programming languages (Electronic computers),Computer programming.,Programming languages (Electronic computers),REFERENCE-- General.
رده :
QA76
.
6
.
B87
2003eb
190. Flash MX 2004 games :
پدیدآورنده : Nik Lever.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Flash (Computer file),Flash (Computer file),Computer games-- Programming.,Computer games-- Programming.,COMPUTERS-- Digital Media-- General.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Web-- Site Design.,COMPUTERS-- Web-- User Generated Content.
رده :
QA76
.
575
.
L48
2004eb
191. Flash application design solutions :
پدیدآورنده : Ka Wai Cheung, Craig Bryant.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Flash (Computer file),Flash (Computer file),Flash (Computer file),ActionScript (Computer program language), Handbooks, manuals, etc.,Computer animation.,Web sites-- Design.,ActionScript (Computer program language),ActionScript (Computer program language),Computer animation.,Computer animation.,COMPUTERS-- Digital Media-- Video & Animation.,Informatique.,Web sites-- Design.,Web sites-- Design.
رده :
TR897
.
7
.
C54
2006eb
192. Fog Computing, Deep Learning and Big Data Analytics-Research Directions /
پدیدآورنده : C.S.R. Prabhu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Big data.,Cloud computing.,Big data.,Cloud computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
585
193. Formal aspects of component software :
پدیدآورنده : Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
194. Formal methods :
پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
195. Formal methods and software engineering :
پدیدآورنده : Jing Sun, Meng Sun (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
196. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
197. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
198. Formal models, languages and applications /
پدیدآورنده : editors, K.G. Subramanian, K. Rangarajan, M. Mukund.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Compilers (Computer programs),Computational complexity.,Formal languages.,Compilers (Computer programs),Computational complexity.,COMPUTERS-- Programming Languages-- General.,Formal languages.
رده :
QA267
.
3
.
F698
2006eb
199. Fortran 2018 with parallel programming /
پدیدآورنده : Subrata Ray
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : FORTRAN (Computer program language),Parallel programming (Computer science),COMPUTERS-- Computer Engineering.,COMPUTERS-- Computer Graphics-- Game Programming & Design.,COMPUTERS-- Programming Languages-- General.,FORTRAN (Computer program language),Parallel programming (Computer science)
رده :
QA76
.
73
.
F25
R39
2020eb
200. Foundation Expression Blend 3 with Silverlight /
پدیدآورنده : Victor Gaudioso.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Microsoft Expression blend.,Silverlight (Electronic resource),Microsoft Expression blend.,Microsoft Expression blend.,Silverlight (Electronic resource),Silverlight (Electronic resource),Application software-- Development.,Graphical user interfaces (Computer systems),Internet programming.,Multimedia systems.,Web sites-- Authoring programs.,Web sites-- Design.,Application software-- Development.,Application software-- Development.,COMPUTERS-- Digital Media-- General.,COMPUTERS-- Interactive & Multimedia.,COMPUTERS-- Web-- Site Design.,COMPUTERS-- Web-- User Generated Content.,Graphical user interfaces (Computer systems),Graphical user interfaces (Computer systems),Informatique.,Internet programming.,Internet programming.,Multimedia systems.,Multimedia systems.,Web sites-- Authoring programs.,Web sites-- Authoring programs.,Web sites-- Design.,Web sites-- Design.
رده :
TK5105
.
8883
.
G38
2009
